Model checking领域的权威书籍

Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a given system satisfies a desired p...(展开全部)

Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a given system satisfies a desired p...(展开全部)

莱瑞•克莱布博士（Dr. Larry Crabb) ，美国著名心理辅导专家、作家和讲师，圣经辅导学会创办人和董事长。克莱布于1970年获伊利诺伊州州立大学临床心理学博士学位，在佛罗里达州执业10年，另有7年在印第安纳州恩典神学院指导圣经辅导硕士课程。《里外更新》是克莱布博士的第六部作品，其他作品包括《了解人——重建关系的圣经协谈》《沉默的亚当》《男女幸不同》《承载生命的相交》《里外更新寻主面》《破碎的梦》等。克莱布博士与妻子居于美国科罗拉多州，有两个儿子，克和肯。

乱歩賞作家の特別書下ろし野心作。 平凡な主婦が犯したおぞましい罪。それは殺人者が17年前に封印した悪夢を解き放った。誰も気がつかないうちに。 たった今、新しい犯罪小説（クライム・ノベル）が誕生した！ 意表をつく展開、感動の結末！ 雅子、43歳、主婦。弁当工場の夜勤パート。彼女は、なぜパート仲間が殺した夫の死体をバラバラにして捨てたのか? 自由への出口か、破滅への扉か?　四人の女たちが突っ走る荒涼たる魂の遍路。 『OUT』は1997年発表の作品。翌年にはドラマ化され、映画化された。 7年後の2005年、米ミステリー界のアカデミー賞といわれるアメリカ探偵作家クラブ（MWA, Mystery Writers of America）主催の2004年エドガー賞（The Edgarssm: The Edgar Allan Poe Awards）最優秀作品賞の最終...(展开全部)

乱歩賞作家の特別書下ろし野心作。 平凡な主婦が犯したおぞましい罪。それは殺人者が17年前に封印した悪夢を解き放った。誰も気がつかないうちに。 たった今、新しい犯罪小説（クライム・ノベル）が誕生した！ 意表をつく展開、感動の結末！ 雅子、43歳、主婦。弁当工場の夜勤パート。彼女は、なぜパート仲間が殺した夫の死体をバラバラにして捨てたのか? 自由への出口か、破滅への扉か?　四人の女たちが突っ走る荒涼たる魂の遍路。 『OUT』は1997年発表の作品。翌年にはドラマ化され、映画化された。 7年後の2005年、米ミステリー界のアカデミー賞といわれるアメリカ探偵作家クラブ（MWA, Mystery Writers of America）主催の2004年エドガー賞（The Edgarssm: The Edgar Allan Poe Awards）最優秀作品賞の最終...(展开全部)

首位入圍美國推理界最高榮譽愛倫坡最佳小說獎的日本作家 社會派黑暗天后桐野夏生成名代表作 最能反映時代的《朝日新聞》「平成30好書」第四名 公認犯罪小說顛峰傑作 只想從絕望生活中掙脫的她們，只能往深淵無止境墜落的靈魂。 殺人──不僅是罪，更是悲劇。 ▍本書特色 ◎江戶川亂步獎、日本推理作家協會獎、直木獎、泉鏡花文學獎、谷崎潤一郎獎、紫式部文學獎、讀賣文學獎得主，開啟後續二十餘年「黑暗寫實」創作路線的奠基之作 【獲獎紀錄】 日本推理情報誌《謎詭》推薦「60本必讀日本推理小說」 1997年入圍第118屆直木賞 1998年獲得第51屆日本推理作家協會獎 1998年獲得別冊寶島「這本推理小說真厲害」國內篇第一名 1998年入圍第19屆吉川英治文學新人獎 1999年改編為同名電視劇 2000年改編為同名舞台劇 2002年改編為同名電影 2004年入圍美國愛倫...(展开全部)

An exceptional book for children about emotional intelligence and learning to deal with the many ranges of human emotions. Some days I feel mad. Some days I feel sad. Some days I feel smiling-ear-to-ear glad...Emotions can be strange, sudden, and even overwhelming at times. Through thoughtful words and expressive images, this book guides us on a journey through our imagination....(展开全部)

Keep Your Head Down. Don't Get Noticed. Or Else. I'm Trella. I'm a scrub. A nobody. One of thousands who work the lower levels, keeping Inside clean for the Uppers. I've got one friend, do my job and try to avoid the Pop Cops. So what if I occasionally use the pipes to sneak around the Upper levels? The only neck at risk is my own…until I accidentally start a rebellion and beco...(展开全部)

玛丽亚•斯奈德（1969- ）美国科幻/奇幻作家、《纽约时报》畅销书作家，著有“立方体世界”系列、“研究”系列、“灵魂探测者”系列、“治疗者”系列等多部作品。 玛丽亚原为气象学家，在厌倦了这份工作后开始写作。她的处女作《毒药研究》于2005年10月出版，入选当年《轨迹》杂志推荐阅读书单，并赢得了2006年的康普特•克洛科奖最佳处女作奖。 除写作之外，玛丽亚的兴趣还包括旅行、摄影、制作首饰和打排球。她目前与家人和一只名叫瓦莱克的黑猫一同住在美国宾夕法尼亚州。